#!/bin/bash
#PIDS=`pgrep -f "^./Launcher.*(AGV?|Commons).*"`
pkill -SIGINT -f "^./Launcher.*(PbV?|AGV?|Commons).*"
#wait $PIDS
killall ssh

ssh teleop.dyndns.tv 'kill -9 -1'

echo "Signal sent to terminate - it will take a while, be patient."
